- пара функторів
- па́ра фу́нкторов
Українсько-російський політехнічний словник. 2013.
пара функторів
Смотреть что такое "пара функторів" в других словарях:
ФУНКТОР — отображение одной категории в другую, согласованное со структурой категории. Точнее, одноместным ковариантным функтором из категории в категорию или, короче, Ф. из в наз. пара отображений обозначаемых обычно одной и той же буквой, напр. F… … Математическая энциклопедия
ТОЧНЫЙ ФУНКТОР — функтор, перестановочный с нек рыми пределами и копределами. А именно, функтор между абелевыми категориями и наз. точным, если он переводит короткие точные последовательности из категории в короткие точные последовательности категории Если и… … Математическая энциклопедия
СОПРЯЖЕННЫЙ ФУНКТОР — понятие, выражающее универсальность и естественность многих важных математич. конструкций: свободных универсальных алгебр, различных пополнений, прямых и обратных пределов и т. д. Пусть одноместный ковариантный функтор из категории в категорию… … Математическая энциклопедия
ОБОБЩЕННЫЕ ТЕОРИИ КОГОМОЛОГИИ — экстраординарные теории когомологий, класс специальных функторов из категории пар пространств в категорию градуированных абелевых групп. О. т. к. есть пара функтор из категории Рпар топологич. пространств в категорию GA градуированных абелевых… … Математическая энциклопедия
Сопряжённые функторы — в математике и в частности в теорий категорий это пара функторов, состоящих в определённом соотношении между собой. Сопряжённые функторы часто встречаются в разных областях математики. Неформально функторы F и G сопряжены, если они… … Википедия
ГОМОТОПИЧЕСКАЯ ГРУППА — обобщение фундаментальной группы, предложенное В. Гуревичем [1] в связи с задачей о классификации непрерывных отображений. Г. г. определены для любого . При Г. г. совпадает с фундаментальной группой. Определение Г. г. не конструктивно, и поэтому… … Математическая энциклопедия
МОДУЛЕЙ ТЕОРИЯ — теория, изучающая непрерывные семейства объектов алгебраич. геометрии. Пусть А класс объектов алгебраич. геометрии (многообразий, схем, векторных расслоений и т. п.), на к ром задано нек рое отношение эквивалентности R. Основная задача… … Математическая энциклопедия
КОГОМОТОПИЧЕСКАЯ ГРУППА — одно из обобщений одномерной группы когомологпй, понятие, в нек ром смысле дуальное понятию гомотопической группы. Пусть pn (Х)=[ Х, Sn] множество гомотопич. классов непрерывных отображений пунктрированного топологич. пространства Xв… … Математическая энциклопедия
Схема (математика) — В алгебраической геометрии схема это абстракция, позволяющая связать единым образом коммутативную алгебру и дифференциальную геометрию и переносить идеи из одной области в другую. В первую очередь понятие схемы позволяет перенести… … Википедия
ТРОЙКА — монада, в категории моноид в категории функторов. Другими словами, Т. в категории наз. ковариантный функтор снабженный такими естественными преобразованиями и что следующие диаграммы коммутативны (здесь обозначает тождественный функтор категории… … Математическая энциклопедия
ИНТЕРПОЛИРОВАНИЕ ОПЕРАТОРОВ — получение из известных свойств оператора в двух или нескольких пространствах выводов о свойствах этого оператора в нек рых в определенном смысле промежуточных пространствах. Банаховой парой A, В наз. два банаховых пространства, алгебраически и… … Математическая энциклопедия
